Search results for "Specification language"

showing 10 items of 11 documents

Towards Diagrammatic Patterns

2008

This article presents the idea that the graphical representation (concrete syntax) of a visual language can be specified based on some pre-defined diagrammatic patterns. A diagram from the Specification and Description Language (SDL) is used as illustration.

Computer scienceProgramming languagebusiness.industryObject languageComputer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing)Specification languagecomputer.software_genreSpecification and Description LanguageVisual languageDiagrammatic reasoningLanguage Of Temporal Ordering SpecificationUniversal Networking LanguageSoftware_SOFTWAREENGINEERINGProgramming language specificationComputer Science::Programming LanguagesArtificial intelligencebusinesscomputerNatural language processingcomputer.programming_language
researchProduct

LCL - A Graphical Meta-Language for Specification of Language Constraints

2015

The Object Constraint Language (OCL) is commonly used for constraints in meta-model-based language specifications. However, it may be advantageous to have a domain-specific constraint meta-language optimised for language specifications. A survey of OCL usage in language specifications has been performed, in order to gain an understanding of common constraint patterns. This is used as a starting point for defining a new meta-language for language constraints, Language Constraint Language (LCL), that has an intuitive graphical syntax.

Computer scienceProgramming languagebusiness.industryObject languageSpecification languagecomputer.software_genreUniversal Networking LanguageHigh-level programming languageProgramming language specificationData control languageArtificial intelligenceFirst-generation programming languagebusinesscomputerNatural language processingObject Constraint Languagecomputer.programming_languageProceedings of the 3rd International Conference on Model-Driven Engineering and Software Development
researchProduct

Systems, models and languages

2010

This paper presents a comparison of language aspects in a model and a meta-model. The motivation is to get a better understanding of how we should define a modeling language.

Digital subscriber lineSoftwareLanguage identificationProgramming languageModeling languageComputer sciencebusiness.industrySpecification languagecomputer.software_genrebusinesscomputerMetamodeling2010 3rd International Conference on Advanced Computer Theory and Engineering(ICACTE)
researchProduct

Specification of modelling languages in a flexible meta-model architecture

2010

Originally, meta-models were used to specify the structure (abstract syntax) of modelling languages. This is reflected both in meta-languages like MOF and Ecore, and the four-layer meta-model architecture. Presently, meta-modelling is used for specification of complete languages. In this situation, it turns out that the traditional meta-languages are not always expressive enough to capture all language aspects. This usually implies the use of more than one metalanguage in the meta-model architecture to cover the different language aspects. There are many approaches to address this challenge. In this paper, we analyze these approaches, and based on this analysis, we re-think the meta-model a…

Enterprise architecture frameworkArchitecture description languageComputer scienceProgramming languageProgramming language specificationReference architectureSpecification languageData architectureSpace-based architecturecomputer.software_genrecomputerDatabase-centric architectureProceedings of the Fourth European Conference on Software Architecture: Companion Volume
researchProduct

A syntax controlled generator of formal language processors

1963

Formal grammarUniversal Networking LanguageGeneral Computer ScienceComputer scienceProgramming languageObject languageFormal specificationProgramming language specificationSpecification languageSyntax errorcomputer.software_genrecomputerContext-sensitive languageCommunications of the ACM
researchProduct

Advanced RDB-to-RDF/OWL Mapping Facilities in RDB2OWL

2011

We present advanced features of RDB2OWL mapping specification language that allows expressing RDB-to-RDF/OWL mappings in a concise and human comprehensible way. The RDB2OWL mappings can be regarded as documentation of the database-to-ontology relation. The RDB2OWL language uses the OWL ontology structure as a backbone for mapping specification by placing the database link information into the annotations for ontology classes and properties. Its features include reuse of database table key information, user defined scalar and aggregate functions, table-based functions and multiclass conceptualization that is essential to keep mappings compact in case when large tables are mapped onto several…

Information retrievalDocumentationConceptualizationComputer scienceRelational databaseTable (database)Web Ontology LanguageSpecification languagecomputer.file_formatRDFReusecomputercomputer.programming_language
researchProduct

Elementary transformation analysis for Array-OL

2009

Array-OL is a high-level specification language dedicated to the definition of multidimentional intensive signal processing applications. It allows to specify both the task parallelism and the data parallelism of these applications on focusing on their complex multidimensional data access patterns. Several tools exist for implementing an Array-OL specification as a data parallel program. While Array-OL can be used directly, it is often convenient to be able to deduce part of the specification from a sequential version of the application. This paper proposes such an analysis and examines its feasibility and its limits.

Multidimensional signal processingSignal processingProgram analysisTheoretical computer scienceParallel processing (DSP implementation)Data parallelismProgramming languageComputer scienceTask parallelismSpecification languageElementary transformationcomputer.software_genrecomputer2009 IEEE/ACS International Conference on Computer Systems and Applications
researchProduct

SITA/G - Description and simulation tools for public utility systems on IBM PC

1991

Abstract Simulation is a powerful and universal systems research tool for the analysis of discrete event model's functional quality. The simulation is used very widely in different areas of our everyday life. Simulation system SITA/G is produced in the Latvia University Research Institute of Mathematics and Computer Science. SITA/G softwares is proposed for using on IBM PC. SITA/G offers the facilities to describe, build and edit graphic programs by means of specification language SITA. Also the proposed system allows: 1) the visual demonstration of the simulation process of the graphic simulation programs; 2) obtaining of the probability characteristics of the systems under research. SITA/…

SIMPLE (military communications protocol)Programming languageProcess (engineering)Iterative methodSystems researchIBM PC compatiblemedia_common.quotation_subjectQuality (business)Specification languageSimulation systemcomputer.software_genrecomputermedia_commonIFAC Proceedings Volumes
researchProduct

LanguageLab - A Meta-modelling Environment

2015

In the LanguageLab language workbench, we build on a component-based approach to language specification that facilitates the specification of all aspects of a computer language in a consistent manner, taking into account best practices in meta-modelling and language design. The workbench allows operation on a suitable abstraction level, and also focuses on user-friendliness and a low threshold to getting started, in order to make it useful for teaching of meta-modelling and language design and specification. The platform is open for third party language modules and facilitates rapid prototyping of DSLs, re-use of language modules, and experiments with multiple concrete syntaxes. The platfor…

Universal Networking LanguageHigh-level programming languageComputer scienceProgramming languageModeling languageProgramming language specificationData control languageSpecification languageInterface description languagecomputer.software_genreLow-level programming languagecomputer
researchProduct

Towards Integrated Computer Aided Systems and Software Engineering Tool for Information Systems Design

1996

The paper starts with a brief overview of the current situation in the world of CASE tools for information systems. Then there follows the outline of the basic ideas and principles of integrated CASE tool GRADE. The most outstanding characteristics of GRADE are that the tool is based on a unified specification language GRAPES and that it supports all information system development phases including analysis, requirements specification, design and implementation.

business.industryComputer scienceSystems development life cycleInformation systemSystems engineeringSoftware developmentSoftware designSoftware requirements specificationSpecification languagebusinessComputer-aided software engineeringSoftware engineeringIDEF0
researchProduct